Higher-dimensional algebra IV: 2-tangles
نویسندگان
چکیده
منابع مشابه
Higher-Dimensional Algebra IV: 2-Tangles
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R4 can be described as certain 2-morphisms in the 2-category of ‘2-tangles in 4 dimensions’. Using the work of Carter, Rieger and Saito, we prove that this 2-category is the ‘free semistrict braided monoidal 2-category with duals on one un...
متن کاملHigher-Dimensional Algebra V: 2-Groups
A 2-group is a ‘categorified’ version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G×G → G has been replaced by a functor. Various versions of this notion have already been explored; our goal here is to provide a detailed introduction to two, which we call ‘weak’ and ‘coherent’ 2-groups. A weak 2-group is a weak monoidal category in whi...
متن کاملHigher-Dimensional Algebra II: 2-Hilbert Spaces
A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we deene a 2-Hilbert space to be an abelian category enriched over Hilb with a-structure, conjugate-linear on the hom-sets, satisfying hf g; hi = hg; f hi = hf; hg i. We also deene monoidal, braided monoidal, and symmetric monoidal versions of 2-Hilbert spaces, which we call 2-H...
متن کاملHigher Dimensional Algebra Vii: Groupoidification
Groupoidification is a form of categorification in which vector spaces are replaced by groupoids and linear operators are replaced by spans of groupoids. We introduce this idea with a detailed exposition of ‘degroupoidification’: a systematic process that turns groupoids and spans into vector spaces and linear operators. Then we present three applications of groupoidification. The first is to F...
متن کاملar X iv : m at h / 98 11 13 9 v 2 [ m at h . Q A ] 6 J ul 1 99 9 Higher - Dimensional Algebra IV : 2 - Tangles
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R4 can be described as certain 2-morphisms in the 2-category of ‘2-tangles in 4 dimensions’. Using the work of Carter, Rieger and Saito, we prove that this 2-category is the ‘free semistrict braided monoidal 2-category with duals on one un...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2003
ISSN: 0001-8708
DOI: 10.1016/s0001-8708(03)00018-5